Ultimate approximation and its application in nonmonotonic knowledge representation systems
نویسندگان
چکیده
منابع مشابه
Ultimate approximation and its application in nonmonotonic knowledge representation systems
In this paper we study fixpoints of operators on lattices and bilattices in a systematic and principled way. The key concept is that of an approximating operator, a monotone operator on the product bilattice, which gives approximate information on the original operator in an intuitive and well-defined way. With any given approximating operator our theory associates several different types of fi...
متن کاملUltimate Approximations in Nonmonotonic Knowledge Representation Systems
We study fixpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We show that each lattice operator O has a unique most precise or ultimate approximation. We demonstrate that fixpoints of this ultimate approximation provide useful insights into fixpoints of the operator O. We apply our ...
متن کاملGround Nonmonotonic Modal Logics for Knowledge Representation
In this paper we discuss ground logics, a family of nonmonotonic modal logics, with the goal of using them in knowledge representation. Ground logics are based on the idea of minimizing the knowledge expressed by non-modal formulae. The nonmonotonic character of the logics can be described either by a x-point equation or by means of a preference relation on possible-worlds models. We address bo...
متن کاملThe matrix representation of fuzzy knowledge and its application to the expert systems design
An approach to the diagnostic type expert systems design based on the special matrix representation of fuzzy predicates in the attribute model of the problem domain is presented. Intensive representation of predicates by means of sectional matrices is an analogue of the conjunctive normal form. Rules, positive examples and negative examples (in general, all fuzzy) can be used to form knowledge ...
متن کاملTerminological knowledge representation systems in a process engineering application
The aim of this project is to investigate what kind of terminological knowledge representation system (TKR-system) is able to support the modeling of huge chemical plants. In this highly complex modeling application, a TKR-system is the appropriate tool to serve as a user{database interface. What distinguishes TKR-systems from database systems is their ability to infer implicit knowledge from t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2004
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.02.004